University of Birmingham

Results: 2922



#Item
31

VOLUNTARY ACTION HISTORY SEMINARS VAHS seminar series at the Institute of Historical Research SEMINAR ABSTRACT 13 October 2014 Andrew Jones, University of Birmingham The Humanitarian Industry in Britain: An early history

Add to Reading List

Source URL: www.vahs.org.uk

Language: English - Date: 2017-02-15 17:11:24
    32

    StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-12-10 12:35:05
      33

      Practical everlasting privacy Myrto Arapinis1 , V´eronique Cortier2 , Steve Kremer2 , and Mark Ryan1 1 School of Computer Science, University of Birmingham 2

      Add to Reading List

      Source URL: www.cs.bham.ac.uk.

      Language: English - Date: 2013-04-19 15:49:07
        34

        Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2010-04-20 09:42:28
          35

          An evaluation of hypothetical attacks against the PassWindow authentication method Matthew Slyman, University of Cambridge Sean O’Neil, VEST Corporation Gadescu Horatiu Nicolae, University of Birmingham Ben van der Mer

          Add to Reading List

          Source URL: www.passwindow.com

          Language: English - Date: 2014-04-17 22:27:09
            36

            A Malware-Tolerant, Self-Healing Industrial Control System Framework Michael Denzel, Mark Ryan, and Eike Ritter University of Birmingham, School of Computer Science, B15 2TT Birmingham, United Kingdom {m.denzel,m.d.ryan,

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2017-05-30 06:54:48
              37

              Rail Lexicon Mark 24, FebruaryUniversity of Birmingham and Network Rail Railway Lexicon Mk 24, February 2011 This lexicon was originally produced by the Railway Systems Group at the University of Sheffield, in coo

              Add to Reading List

              Source URL: www.railway-technical.com

              Language: English - Date: 2018-05-28 05:39:46
                38

                Feature integration using a feature construct 1 Malte Plath and Mark Ryan School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK,

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:35:14
                  39

                  Privacy-supporting cloud-based conference systems: protocol and verification Myrto Arapinis, Sergiu Bursuc, Mark Ryan School of Computer Science, University of Birmingham Security of cloud computing

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2011-06-20 08:16:21
                    UPDATE